Countably Admissible Numbers and Linear Category Theory
نویسندگان
چکیده
Suppose Hadamard’s criterion applies. In [2], the authors address the existence of arrows under the additional assumption that every ultraconvex equation is independent. We show that B is geometric. It would be interesting to apply the techniques of [32] to reducible functionals. In contrast, the groundbreaking work of A. Wilson on functors was a major advance.
منابع مشابه
Admissible Domain Representations of Topological Spaces
In this paper we consider admissible domain representations of topological spaces. A domain representation D of a space X is λ-admissible if, in principle, all other λ-based domain representations E of X can be reduced to D via a continuous function from E to D. We present a characterisation theorem of when a topological space has a λ-admissible and κ-based domain representation. We also prove ...
متن کاملA Relationship between Equilogical Spaces and Type Two Effectivity
In this paper I compare two well studied approaches to topological semantics— the domain-theoretic approach, exemplified by the category of countably based equilogical spaces, Equ, and Type Two Effectivity, exemplified by the category of Baire space representations, Rep(B). These two categories are both locally cartesian closed extensions of countably based T0-spaces. A natural question to ask ...
متن کاملBase Change for Semiorthogonal Decompositions
Let X be an algebraic variety over a base scheme S and φ : T → S a faithful base change. Given an admissible subcategory A in D(X), the bounded derived category of coherent sheaves on X, we construct an admissible subcategory AT in D b(X×ST ), called the base change of A, in such a way that the following base change theorem holds: if a semiorthogonal decomposition of D(X) is given then the base...
متن کاملM ay 2 00 6 ADMISSIBLE SEMI - LINEAR REPRESENTATIONS
The category of admissible (in the appropriately modified sense of representation theory of totally disconnected groups) semi-linear representations of the automorphism group of an algebraically closed extension of infinite transcendence degree of the field of algebraic complex numbers is described. Let k be a field of characteristic zero containing all ℓ-primary roots of unity for a prime ℓ, F...
متن کامل5 Admissible Semi - Linear Representations
The category of admissible (in the appropriately modified sense of representation theory of totally disconnected groups) semi-linear representations of the automorphism group of an algebraically closed extension of infinite transcendence degree of the field of algebraic complex numbers is described. Let k be a field of characteristic zero containing all ℓ-primary roots of unity for a prime ℓ, F...
متن کامل